import sys

det=True
works=False

for line in sys.stdin:
  if 'Answers to questions:' in line: works=True
  if 'is statically equivalent' in line: det=False
  if 'is not deducible' in line: det=False

if not works: exit(3)

if det:
#	print 'yes'
	exit(1)
else:
#	print 'no'
	exit(2)

